Merge branch 'grid-api' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sun, 2 Aug 2020 23:17:40 +0000 (23:17 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sun, 2 Aug 2020 23:17:40 +0000 (23:17 +0000)
commit43816ba8d9cfefac9d6887a68b83dd57b74fc04a
tree77e03c4e4251fe97250cafa4ba67ccd7ad40708e
parent7fe7d5ab4ffa2d531ce2caa9ad780ef419b4d440
parent71be1751c635cbe4ae65ca299d1b30f458981494
Merge branch 'grid-api' into 'master'

grid layout: Rename some properties

Closes #2967

See merge request GNOME/gtk!2345